🔍 Z3 Parsing

Formal Grammar Verification, Parser Correctness, Syntax Validation, Language Safety

LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Semantic-Aware Parsing for Security Logs
arxiv.org·1d
📝Log Parsing
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Programming Entry Level: how to interpreter
dev.to·15h·
Discuss: DEV
🔗Lisp
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·19h
🤖Grammar Induction
End-to-End Spoken Grammatical Error Correction
arxiv.org·1d
🤖Grammar Induction
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.com·1d
📝Concrete Syntax
Building a Language Server
bullno1.com·1d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
PEGTL -- Parsing Expression Grammar Template Library
github.com·15h·
Discuss: Hacker News
🔗Parser Combinators
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·33m·
Discuss: Hacker News
📋DFDL
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·1h·
Discuss: DEV
🤖Lisp Machines
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Stop Words Using Spacy - NLP
dev.to·1d·
Discuss: DEV
📝Text Parsing